401. The game of cops and robbers on graphs
پدیدآورنده: Anthony Bonato, Richard J. Nowakowski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Graph theory,، Random graphs,، Graph algorithms
رده :
QA
166
.
B653G2
402. The mathematics of Paul Erdös /
پدیدآورنده: Ronald L. Graham, Jaroslav Nešetřil, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Erdős, Paul,1913-1996.,Erdős, Paul,1913-1996,Mathematics.,Combinatieleer.,Getaltheorie.,Mathematics.,Mathématiques.,Wiskunde.
رده :
QA3
.
M423
1997
403. The probabilistic method
پدیدآورنده: Alon, Noga
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Combinatorial analy @
رده :
QA
164
.
A46
2008
404. The probabilistic method
پدیدآورنده: / Noga Alon, Joel H. Spencer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Combinatorial analysis,Probabilities
رده :
QA164
.
A45
2008
405. The valuative tree
پدیدآورنده: Charles Favre, Mattias Jonsson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Trees )Graph theory(,، Algorithms
رده :
QA
3
.
L28
Vol
.
1853
406. Theoretical Computer Science :
پدیدآورنده: edited by Armin B. Cremers, Hans-Peter Kriegel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.
رده :
QA267
.
E358
1982
407. Theory and applications of models of computation :
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
408. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده: Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
409. Theory and practice of natural computing :
پدیدآورنده: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
410. Theory of computational complexity /
پدیدآورنده: Ding-Zhu Du, Department of Computer Science, University of Texas at Dallas, Ann Arbor, MI, Ker-I Ko, Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.
رده :
QA267
.
7
.
D8
2014eb
411. Thirty essays on geometric graph theory
پدیدآورنده: János Pach, editor
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial geometry,Geometry-- Data processing,Graph theory
رده :
QA166
.
T45
2013
412. Tolerance graphs /
پدیدآورنده: Martin Charles Golumbic, Ann N. Trenk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Graph theory.,Combinatorial analysis.,Graph theory.,MATHEMATICS-- Graphic Methods.
رده :
QA166
.
G645
2004eb
413. Topics in discrete mathematics
پدیدآورنده: Martin Klazar ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Neeseteril, Jaroslav,Mathematics,Computer science- Mathematics,Graph theory
رده :
QA
39
.
3
.
T67
2006
414. Topics in discrete mathematics : dedicated to Jarik Nesetril on the occasion of his 60th birthday
پدیدآورنده: Martin Klazar...]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics,، Computer science -- Mathematics,، Graph theory
رده :
QA
39
.
2
.
T66D4
415. Topics in engineering mathematics :
پدیدآورنده: edited by Adriaan van der Burgh and Juriaan Simonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Mathematical optimization.,Mathematics.
416. Topics in theoretical computer science :
پدیدآورنده: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
417. Topics in topological graph theory /
پدیدآورنده: edited by Lowell W. Beineke, Robin J. Wilson ; academic consultants, Jonathan L. Gross, Thomas W. Tucker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Topological graph theory
رده :
QA166
.
195
.
T66x
2009
418. Topological graph theory /
پدیدآورنده: Jonathan L. Gross, Thomas W. Tucker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Topological graph theory.,Topology.
رده :
QA166
.
G76
1987
419. Unsolved problems in mathematical systems and control theory
پدیدآورنده: / edited by Vincent D. Blondel, Alexandre Megretski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: System analysis,Control theory
رده :
E-BOOK
420. WALCOM
پدیدآورنده: Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
